AGDA_COMPILE_FAILED

ret > ExitFailure 42 out > ../LaTeXAndHTML/fail/Issue2453.lagda:10.14: error: [ParseError] out > Missing body for lambda out >